From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·16h
💻Programming languages
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
🔐CBOR
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌀Brotli Dictionary
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
🗣️Domain-Specific Languages
Flag this post
Function Calling in LangChain: Turning Chatbots into Enterprise Copilots
⚡SMT Applications
Flag this post
Watch the recordings from my Python + AI series
🎙️Whisper
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·16h
📝Log Parsing
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·16h
📝ABNF Extensions
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
🎯Gradual Typing
Flag this post
Loading...Loading more...